Compositional Techniques for Mixed Bottom-Up/Top-Down Construction of ROBDDs

Reduced Ordered Binary Decision Diagrams (ROBDDs) have traditionally been built in a bottom-up fashion, through the recursive use of Bryant's apply procedure [4], or the ITE [2] procedure. With these methods, the intermediate peak memory utilization is often larger than the nal ROBDD size. This peak memory requirement limits the complexity of the circuits which can be processed using ROBDDS. Recently it was shown in [9] that for a large number of applications, the peak memory requirement can be substantially reduced by a suitable combination of bottom-up (decomposition based) and topdown (composition based) approaches of building ROBDDs. This approach consists of selecting suitable decomposition points during the construction of the ROBDD using the apply procedure, followed by a symbolic composition to obtain the nal ROBDD. In this paper, we focus on the composition process. We detail four heuristic algorithms for nding good composition orders, and compare their utility on a set of standard benchmark circuits. Our schemes o er a matrix of time-memory tradeo points.